формальная теория

См. также в других словарях:

• Формальная теория — Формальная (аксиоматическая) теория, формальное исчисление это понятие, разработанное в рамках формальной логики в качестве основы для формализации теории доказательства. Формальная теория разновидность дедуктивной теории, где множество теорем… …   Википедия

• Формальная теория доказательств — Формальная теория доказательств  один из вариантов устройства норм об оценке доказательств в судебном процессе. В уголовном процессе его сущность состоит в том, что для признания преступления совершённым и вины подсудимого доказанной суд… …   Википедия

• формальная теория — теория в формализованном языке. Важной особенностью Ф. т. является то, что содержательные утверждения заменены в них последовательностями символов, манипуляции с которыми основываются лишь на их внешнем виде, и подразумеваемая логическая система… …   Словарь терминов логики

• Формальная теория судебных доказательств — см. Доказательства …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

• ФОРМАЛЬНАЯ ТЕОРИЯ И ФОРМАЛИЗАЦИЯ ТЕОРИИ — (formal theory and formalization of theory) представление теоретических суждений в отношении специфического явления с точки зрения совокупности логических и дедуктивно взаимосвязанных пропорций, причем некоторые из суждений рассматриваются как… …   Большой толковый социологический словарь

• Формальная сила доказательств — Формальная теория доказательств  один из вариантов положения о применении доказательств в уголовном процессе. Сущность его состоит в том, что для признания преступления совершённым и вины подсудимого доказанной суд должен убедиться в наличии… …   Википедия

• Формальная система — (формальная теория, аксиоматическая теория)  результат строгой формализации теории, предполагающей полную абстракцию от смысла слов используемого языка, причем все условия, регулирующие употребление этих слов в теории, явно высказаны… …   Википедия

• ФОРМАЛЬНАЯ ФИЛОСОФИЯ — существующая в течение тысячелетий тенденция философии к фундаментальному обобщению понятий и законов, присущих формальным аспектам частных философских наук: формальной логики, формальной онтологии, формальной этики (см. в наст. словаре ст. с… …   Современный философский словарь

• Формальная система —         неинтерпретированное Исчисление, класс выражений (формул) которого задаётся обычно индуктивно – посредством задания исходных («элементарных», или «атомарных») формул и правил образования (построения) формул, а подкласс доказуемых формул… …   Большая советская энциклопедия

• ФОРМАЛЬНАЯ СИСТЕМА — неинтерпретированное исчисление, класс выражений (формул) к рого задается обычно индуктивно – посредством задания исходных ( элементарных , или атомарных ) формул и правил образования (построения) формул, а подкласс доказуемых формул (теорем) –… …   Философская энциклопедия

• ТЕОРИЯ — (theory) 1. (В физической и социальной науках) совокупность гипотез или суждений, связанных логическими либо математическими аргументами; для объяснения эмпирической действительности или типа явления. См. также Формальная теория; Модель. 2. (В… …   Большой толковый социологический словарь